Instance Verification Kit (IVK)
mutex lock @ [14199+45+/linux-3.18-rc1/drivers/usb/serial/mos7720.c]
Instance Signature: disc_mutex
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
parport_epilogue
[14613+16+/linux-3.18-rc1/drivers/usb/serial/mos7720.c]
parport_mos7715_data_forward
[17192+28+/linux-3.18-rc1/drivers/usb/serial/mos7720.c]
parport_mos7715_data_reverse
[17528+28+/linux-3.18-rc1/drivers/usb/serial/mos7720.c]
parport_mos7715_frob_control
[16167+28+/linux-3.18-rc1/drivers/usb/serial/mos7720.c]
parport_mos7715_read_data
[15158+25+/linux-3.18-rc1/drivers/usb/serial/mos7720.c]
parport_mos7715_write_compat
[19038+28+/linux-3.18-rc1/drivers/usb/serial/mos7720.c]
parport_mos7715_write_control
[15426+29+/linux-3.18-rc1/drivers/usb/serial/mos7720.c]
parport_mos7715_write_data
[14848+26+/linux-3.18-rc1/drivers/usb/serial/mos7720.c]
parport_prologue
[13783+16+/linux-3.18-rc1/drivers/usb/serial/mos7720.c]